Non-Classical - PDFSEARCH.IO - Document Search Engine

Non-Classical
Results: 915

#	Item
671	This article appeared in a journal published by Elsevier. The attached copy is furnished to the author for internal non-commercial research and education use, including for instruction at the authors institution and shar Add to Reading List Source URL: malyarchuk-bor.narod.ru Language: English - Date: 2013-04-21 03:53:40 Population genetics Classical genetics Human evolution Evolution Haplogroup Human Y-chromosome DNA haplogroup Nonsynonymous substitution Haplotype Genetics Genetic genealogy Biology
672	Celebrating Saul Winstein’s Legacy In Organic Chemistry \| No... http://cen.acs.org/articles/90/i47/Celebrating-Saul-Winsteins-Le... Log In Add to Reading List Source URL: schleyer.chem.uga.edu Language: English - Date: 2013-01-10 13:14:13 Reactive intermediates Saul Winstein Non-classical ion Intimate ion pair Homoaromaticity Kendall Houk Paul von Ragué Schleyer George Andrew Olah Endo-exo isomerism Chemistry Chemical bonding Physical organic chemistry
673	[My thesis advisor was Raymond Smullyan. He likes to begin talks with, “Before I speak, there’s something I’d like to say.” Add to Reading List Source URL: comet.lehman.cuny.edu Language: English - Date: 2013-07-10 12:43:27 Philosophical logic Modal logic Axiology Paraconsistent logic Fuzzy logic Logic Mathematical logic Non-classical logic
674	This article appeared in a journal published by Elsevier. The attached copy is furnished to the author for internal non-commercial research and education use, including for instruction at the authors institution and shar Add to Reading List Source URL: malyarchuk-bor.narod.ru Language: English - Date: 2013-04-21 03:53:42 Population genetics Classical genetics Genetic genealogy Evolutionary biology Haplotype Linkage disequilibrium Short tandem repeat Allele frequency Zygosity Genetics Biology Philosophy of biology
675	Computers Do Not Run on Logic Mladen Pavicˇ ic´ Physics Chair, Faculty of Civil Engineering, University of Zagreb, Zagreb, Croatia. [removed] http://m3k.grad.hr/pavicic Add to Reading List Source URL: m3k.grad.hr Language: English - Date: 2010-07-15 19:55:00 Algebraic logic Lattice theory Algebraic structures Non-classical logic Boolean algebra Quantum logic Complemented lattice Axiom Logic Mathematics Mathematical logic
676	AG15 RED AND BLUE Alessio Guglielmi (TU Dresden and University of Bath[removed]This note needs to be read in colour to be meaningful! Add to Reading List Source URL: cs.bath.ac.uk Language: English - Date: 2007-12-18 10:37:48 Non-classical logic Logical connectives Propositional calculus Boolean algebra Linear logic Negation Sequent calculus Modal logic Deep inference Logic Mathematical logic Proof theory
677	The Focused Inverse Method for Linear Logic Kaustuv Chaudhuri CMU-CS[removed]December 4, 2006 Department of Computer Science Add to Reading List Source URL: reports-archive.adm.cs.cmu.edu Language: English - Date: 2007-05-23 16:37:29 Automated theorem proving Proof theory Logic in computer science Non-classical logic Deduction Linear logic Intuitionistic logic Natural deduction Logic programming Logic Mathematical logic Mathematics
678	A logical basis for quantum evolution and entanglement Richard F. Blute1 , Alessio Guglielmi2 , Ivan T. Ivanov3 , Prakash Panangaden4 , and Lutz Straßburger5 1 Add to Reading List Source URL: cs.bath.ac.uk Language: English - Date: 2013-09-18 14:19:30 Proof theory Non-classical logic Logic in computer science Deduction Propositional calculus Linear logic Entailment Directed acyclic graph Curry–Howard correspondence Logic Mathematical logic Mathematics
679	AG16 SOME NEWS ON SUBATOMIC LOGIC Alessio Guglielmi (TU Dresden and University of Bath[removed]After our experience with the calculus of structures (CoS) [WS], we Add to Reading List Source URL: cs.bath.ac.uk Language: English - Date: 2007-12-18 10:37:51 Non-classical logic Boolean algebra Substructural logic Logical connectives Negation Linear logic Rule of inference Modal logic Noncommutative logic Logic Mathematical logic Propositional calculus
680	A Tutorial on Proof Theoretic Foundations of Logic Programming Add to Reading List Source URL: cs.bath.ac.uk Language: English - Date: 2007-12-18 10:38:39 Proof theory Propositional calculus Non-classical logic Deduction Automated theorem proving Sequent calculus Natural deduction Admissible rule Intuitionistic logic Logic Mathematical logic Mathematics

UPDATE